function pageOnLoad() {
	// prevent error of 1st time opening the navigation html page 
	// A non-framed html page e.g. navLeft.html
	if (top.main==undefined) {
		frameMe();
	} else if (top.document!=undefined) {
		top.document.title = top.main.document.title;
		loadFrameset();
		highlight();	/* user may press next or previous button any time */
	}
}
window.onload = pageOnLoad;
